William Craig
Craigのトリック
Craigの補間定理